Proving Properties of Dynamic Process Networks
نویسندگان
چکیده
منابع مشابه
Proving Properties of Dynamic Process Networks
We present the rst compositional proof system for checking processes against formulas in the modal -calculus which is capable of handling dynamic process networks. The proof system is obtained in a systematic way from the operational semantics of the underlying process algebra. A non-trivial proof example is given, and the proof system is shown to be sound in general, and complete for nite-stat...
متن کاملProving Properties of Neural Networks with
| Graph transformations ooer a unifying framework to formalize Neural Networks together with their corresponding training algorithms. It is straightforward to describe also topology changing training algorithms with the help of these transformations. One of the beneets using this formal framework is the support for proving properties of the training algorithms. A training algorithm for Proba-bi...
متن کاملProving Dynamic Properties in an Aerospace Application
In this paper we give an exposition to an ongoing research eeort in cooperation with aerospace industries in Sweden. We report on an application of formal veriication techniques on a landing gear system. This system consists of actuating hydromechanic and electromechanic hardware, and of controlling software components. We emphasize the need for modelling techniques and languages covering the w...
متن کاملProving Possibility Properties Proving Possibility Properties
The charter of SRC i s t o a d v ance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management techniqu...
متن کاملAnalysis of Dynamic Process Networks
We formulate a method to compute global invariants of dynamic process networks. In these networks, inter-process connectivity may be altered by an adversary at any point in time. Dynamic networks serve as models for ad-hoc and sensor-network protocols. The analysis combines elements of compositional reasoning, symmetry reduction, and abstraction. Together, they allow a small “cutoff” network to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1998
ISSN: 0890-5401
DOI: 10.1006/inco.1997.2680